How Style Checking Can Improve Business Process Models
نویسندگان
چکیده
Business process analysts prefer to build business process models (BPM) using graphical languages like BPMN or UML Activity Diagrams. Several researchers have presented validation methologies for such BPMs. In order to use these verification techniques for BPMs written in graphical languages, the models must be translated into the input language of a model checker or simulation tool. By analyzing 285 BPMs (modelled as Event driven Process Chains (EPC)), we found that checking restrictions for ”good modeling style” before starting the translation process has three positive effects: It can make the translation algorithm much easier, can improve the quality of the BPM by substituting ”bad constructs” automatically and can help to identify erroneous models.
منابع مشابه
What business process modelers can learn from programmers
For building business process models (BPM), business process analysts usually use graphical languages like BPMN or UML. One purpose of such models is to serve as a base for communication between the stakeholders in the software development process. Furthermore, modern model-centric software engineering approaches have the potential to enable the generation of software directly from the models. ...
متن کاملChecking Properties of Business Process Models with Logic Programming
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it deserves. In this article, we give some examples how logical programming can be exploited for verifying or finding properties of graphical models that are used by business process modelers, for example event driven pro...
متن کاملA Heuristic Method for Business Process Model Evaluation
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a model into a set of Prolog facts. We then search for patterns which are related to a violation of the soundness property, bad modeling style or otherwise give raise to the assumption that the model should be improved. B...
متن کاملOn Enabling Data-Aware Compliance Checking of Business Process Models
In the light of an increasing demand on business process compliance, the veri cation of process models against compliance rules has become essential in enterprise computing. To be broadly applicable compliance checking has to support data-aware compliance rules as well as to consider data conditions within a process model. Independently of the actual technique applied to accomplish compliance c...
متن کاملOn the refactoring of activity labels in business process models
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred models and dozens of often hardly trained modelers calls for automated quality assurance. While formal properties of control flow can easily be checked by existing tools, there is a notable gap for checking the quality of ...
متن کامل